Strategies for Source-to-Source Constant Propagation
نویسندگان
چکیده
Data-flow optimizations are usually implemented on low-level intermediate representations. This is not appropriate for source-to-source optimizations, which reconstruct a source level program after transformation. In this paper we show how constant propagation, a well known data-flow optimization problem, can be implemented on abstract syntax trees in Stratego, a rewriting system extended with programmable rewriting strategies for the control over the application of rules and dynamic rewrite rules for the propagation of information.
منابع مشابه
Method of Green’s Function for Characterization of SH Waves in Porous-Piezo Composite Structure with a Point Source
An approach of Green’s function is adopted to solve the inhomogeneous linear differential equations representing wave equations in piezo-composite materials. In particular, transference of horizontally polarised shear (SH) waves is considered in bedded structure comprising of porous-piezo electric layer lying over a heterogeneous half-space. Propagation of SH-waves is considered to be influence...
متن کاملInquisitive Analysis of the Point Source Effect on Propagation of SH Wave Through an Orthotropic Crustal Layer
The occurrence of SH wave propagation under the effect of a point source in an orthotropic substratum lying over a heterogeneous orthotropic half space is deliberated in the prospect of a devastating earthquake. The quadratic alteration is acknowledged for density and shear modulus which is hypothesized to be a function of depth. The method of Green's function and transformation technique contr...
متن کاملThermodynamic analysis of a magnetohydrodyamic oldroyd 8-constant fluid in a vertical channel with heat source and slippage
Thermodynamic analysis of a steady state flow and heat transfer of an Oldroyd 8-constant fluid with effect of heat source, velocity slip and buoyancy force under tranverse a magnetic field is is carried out in this paper. The model for momentum and energy balance is tackled numerically using Method of Weighted Residual (MWR). Partition method is used to minimize the associated residuals. The re...
متن کاملMechanics of 2D Elastic Stress Waves Propagation Impacted by Concentrated Point Source Disturbance in Composite Material Bars
Green’s function, an analytical approach in inhomogeneous linear differential equations, is the impulse response, which is applied for deriving the wave equation solution in composite materials mediums. This paper investigates the study of SH wave’s transmission influenced by concentrated point source disturbance in piezomagnetic material resting over heterogeneous half-space. Green function ap...
متن کاملSimulation of the shielding effects of an applicator on the AAPM TG-43 parameters of CS-137 Selectron LDR brachytherapy sources
Background: The dose rate distribution delivered by a low dose rate 137Cs pellet source, a spherical source used within the source trains of the Selectron gynecological brachytherapy system, was investigated using the MCNP4C Monte Carlo code. Materials and Methods: The calculations were performed in both water and Plexiglas and the absolute dose rate distribution for a single pellet s...
متن کامل